翻訳と辞書 Words near each other ・ abnf ・ abort ・ abp ・ abr ・ abscissa ・ abset ・ absolute path ・ absolute pathname ・ abstract class ・ abstract data type ・ abstract interpretation ・ abstract machine ・ abstract machine notation ・ abstract syntax ・ abstract syntax notation 1 ・ abstract syntax tree ・ abstract window toolkit ・ abstract windowing toolkit ・ abstract-type and scheme-definition language ・ abstraction Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク abstract interpretation ： FOLDOC abstract interpretation A partial execution of a program which gains information about its semantics (e.g. control structure, flow of information) without performing all the calculations. Abstract interpretation is typically used by compilers to analyse programs in order to decide whether certain optimisations or transformations are applicable. The objects manipulated by the program (typically values and functions) are represented by points in some domain. Each abstract domain point represents some set of real ("{concrete}") values. For example, we may take the abstract points "+", "0" and "-" to represent positive, zero and negative numbers and then define an abstract version of the multiplication operator, *#, which operates on abstract values: *# | + 0 - ---|------ + | + 0 - 0 | 0 0 0 - | - 0 + An interpretation is "safe" if the result of the abstract operation is a safe approximation to the abstraction of the concrete result. The meaning スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.